MathML-OpenMath Interface for REDUCE
نویسنده
چکیده
Description OpenMath and MathML are two ways of representing mathematical objects. Semantically, OpenMath is a superset of (content) MathML. The aim is to build a translator from OpenMath to content MathML, using presentation MathML where necessary as in the example of rank in Section 5.3 on MathML OpenMath is extensible, the translator will need to be. There is no a priori choice of implementation language. A viva voce examination will be held. The project report should be no more than 40 pages.
منابع مشابه
On the relationship between OpenMath and MathML
OpenMath and MathML Bill Naylor Stephen Watt Ontario Resear h Center for Computer Algebra University of Western Ontario London Ontario CANADA N6A 5B7 fbill,wattg or a.on. a July 6, 2001 Abstra t MathML provides a rather omplete set of primitives for notational representation of mathemati s but only a limited set of primitives to des ribe the meaning of mathemati al expressions. OpenMath provide...
متن کاملThe Utility of OpenMath
OpenMath [5] is a standard for representing the semantics of mathematical objects. It differs from ‘Presentation’ MathML [7] in not being directly concerned with the presentation of the object, and from ‘Content’ MathML in being extensible. How should these extensions be performed so as to maximise the utility (which includes presentation) of OpenMath?
متن کاملOn the Conversion between Content MathML and OpenMath
Content MathML and OpenMath are two XML formats for semantic markup of mathematical expressions. Although efforts have been made to align their definitions, enough differences remain to make translation between them nontrivial. In this chapter, we present a technical discussion of the differences between Content MathML and OpenMath, and two strategies for bidirectional translation between them....
متن کاملExtending OpenMath with Sequences
Sequences play a great role in mathematical communication. In mathematical notation, we use sequence ellipsis (. . . ) to denote obvious sequences like 1, 2, . . . , 7, and in conceptualizations sequence constructors like (i+1)i∈N. Furthermore, sequences have a prominent role as argument sequences of exary functions. While the former cases can adequately be represented and reasoned about as dom...
متن کاملThe Freedom to Extend OpenMath and its Utility
OpenMath is a standard for representing the semantics of mathematical objects. It differs from Presentation MathML in not being directly concerned with the presentation of the object, and from Content MathML 2 in being extensible. How should these extensions be performed so as to maximize the utility (which includes presentation) of OpenMath? How could publishers have the freedom to extend and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2000